$\forall$$x$, $y$:Void List. $x$ $\sim$ $y$